Feeds to Scour
SubscribedAll
Scoured 256128 posts in 1.84 s
From Zero to QED: An informal introduction to formality in Lean 4
sdiehl.github.ioยท1d
๐Ÿš‚Error Propagation
Preview
Report Post
Show HN: AgentCmds โ€“ A directory of slash commands for AI agents
agentcmds.workยท17hยท
Discuss: Hacker News
๐Ÿ›ก๏ธError Handling
Preview
Report Post
<p>**Abstract:** This paper introduces a novel framework, Automated Protocol Refinement for Enhanced Algorithm Validation (APREAV), to significantly improve the...
freederia.comยท17h
๐Ÿค–Abstract Machines
Preview
Report Post
From Intent to Proof: Dafny Verification for Web Apps
midspiral.comยท1dยท
Discuss: Lobsters, Hacker News
๐Ÿ›๏ธElm Architecture
Preview
Report Post
Think Your Python Code Is Slow? Stop Guessing and Start Measuring
towardsdatascience.comยท1d
๐Ÿ“ˆPerformance Tools
Preview
Report Post
AI-Driven Formal Theorem Proving in the Lean Ecosystem
leandojo.orgยท1d
๐ŸงฎTheorem Provers
Preview
Report Post
Department of Computer Science and Technology โ€“ Technical reports: UCAM-CL-TR-949
cl.cam.ac.ukยท6hยท
Discuss: Hacker News
๐ŸฐCapability Machines
Preview
Report Post
AI for Software Engineering, not (only) Code Generation
dev.toยท10hยท
Discuss: DEV
๐ŸŽญProgram Synthesis
Preview
Report Post
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version)
arxiv.orgยท3d
๐Ÿ”ฎType Inference Visualization
Preview
Report Post
ECP-Solutions/ASF: The first embeddable scripting language and runtime that turns VBA into a script host (with NO COM dependencies) , with C-like syntax, closures, FFI for VBA calls, and the powerfull VBA-Expressions math integration.
github.comยท9hยท
Discuss: Hacker News
๐ŸŒ‰Language Interop
Preview
Report Post
Infinite Software Crisis
gearsofmedicine.comยท1d
โšกLive Coding
Preview
Report Post
Tackling Unmaintainable Complexity with Automation: Building a Multi-Tenant SaaS Solo
ko-chan.github.ioยท11hยท
Discuss: DEV
๐ŸŽฎLanguage Ergonomics
Preview
Report Post
The Unreasonable Effectiveness of an LLM Agent Loop with Tool Use
philz.devยท12h
๐Ÿ’ฌInteractive REPLs
Preview
Report Post
Introducing the XLab AI Security Guide
lesswrong.comยท11h
๐Ÿ›ก๏ธSecurity Type Systems
Preview
Report Post
Solved: TryHackMe Co-founder AMA: Get Hired in Cyber Security & Build Elite Teams.
wp.meยท10hยท
Discuss: DEV
๐Ÿš‚Cranelift IR
Preview
Report Post
Zaลกto su iskusni programeri sporiji (Komentari ฤlanaka s naลกih web stranica) @ Bug.hr Forum
forum.bug.hrยท16h
๐Ÿ’ฌError Message Design
Preview
Report Post
A Farmer Doesnโ€™t Know Coding, But Tries to Build an Executing Engine with LLMs and a Code Interpreter
reddit.comยท15hยท
Discuss: r/LocalLLaMA
๐Ÿ“œBytecode Interpreters
Preview
Report Post
Any useful resources for improving the quality of the vscode projects?
addyo.substack.comยท10hยท
Discuss: r/vscode
๐ŸŽญProgram Synthesis
Preview
Report Post
Light-Weight Contexts: An OS Abstraction for Safety and Performance
usenix.orgยท1d
๐Ÿ“กBinary Protocols
Preview
Report Post
Unlocking the value of C++20 - Alex Dathskovsky
youtube.comยท3hยท
Discuss: r/cpp
๐ŸŽ“Teaching Compilers
Preview
Report Post